1. Reasoning in Boolean networks: logic synthesis and verification using testing techniques

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Integrated circuits-- Verification-- Data processing,، Logic design-- Data processing

رده :
TK
7874
.
K866
1997